$\forall$$T$:Type, $a$:$T$, $x$:\{$a$:$T$\}. $x$ = $a$ $\in$ $T$